Example 3.3.2

The group is isomorphic to for each positive integer . More specifically, if is the standard trace on then is an isomorphism. The cyclic group is generated by where is any one-dimensional projection in
This fact implies that the 0th k-theory of is since we can take .